A random access buffered writer supports writing to the buffer, including extending it. A facility will be (TODO[MvG]-buffered writer) provided to flush the buffer to somewhere explicitly, and various subtypes may choose to flush the buffer for other reasons, such as reaching a maximum buffer size.